Consensus Theorem Boolean Algebra